verifiable program中文什么意思

可验证程序

• verifiable:    adj. 可证实的；可检验的；可考证 ...
• verifiable case:    经得起检验的案例
• verifiable objective:    目标